Heap Sort
from
Sort
二分ヒープ木
sfitup
https://ja.wikipedia.org/wiki/ヒープソート
ヒープソート siftup の正当性証明 - connpass
https://www.youtube.com/watch?v=iXAjiDQbPSw